cafeobj-mode software package provides Emacs major mode for editing CafeOBJ source code, you can install in your Ubuntu 16.04 LTS (Xenial Xerus) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install cafeobj-mode
cafeobj-mode is installed in your system.
Make ensure the cafeobj-mode package were installed using the commands given below,
$ sudo dpkg-query -l | grep cafeobj-mode *
You will get with cafeobj-mode package name, version, architecture and description in a table
| Distro | Ubuntu 16 04 lts xenial xerus |
| Section | Science |
| Package | cafeobj-mode |
| Version | 1.5.4-4 |
| Description | Emacs major mode for editing CafeOBJ source code |
| Sub Section | Science |